Abstract algebraic logic - PDFSEARCH.IO - Document Search Engine

Abstract algebraic logic
Results: 173

#	Item
1	CANONICAL SUBGROUPS VIA BREUIL-KISIN MODULES FOR p = 2 SHIN HATTORI Abstract. Let p be a rational prime and K/Qp be an extension of complete discrete valuation fields. Let G be a truncated Barsotti-Tate group of level n, Add to Reading List Source URL: www2.math.kyushu-u.ac.jp Language: English Algebra Abstract algebra Group theory Algebraic number theory Galois theory Frobenius group Galois module Order Free group Linear temporal logic
2	APPEARED IN BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY Volume 32, Number 2, April 1995, PagesFAMILIES OF CURVES AND WEIGHT DISTRIBUTIONS OF CODES Add to Reading List Source URL: www.mat.uniroma2.it Language: English - Date: 2002-11-22 18:02:17 Mathematics Abstract algebra Algebra Finite fields Group theory Elliptic curves Number theory Analytic number theory Supersingular elliptic curve Combinatory logic Algebraic curve BCH code
3	No complete linear term rewriting system for propositional logic Anupam Das and Lutz Straßburger Abstract Recently it has been observed that the set of all sound linear inference rules in propositional Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2015-03-23 07:14:32 Mathematics Logic Mathematical logic Boolean algebra Formal languages Semantics Algebraic logic Logic in computer science Substitution Propositional calculus Rewriting Negation
4	Hints in unification Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, and Enrico Tassi Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7 — 40127 Bologna, ITALY {asperti,ricciott,sacer Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2012-02-14 06:55:32 Algebra Mathematics Abstract algebra Algebraic structures Semigroup theory Automated theorem proving Logic programming Category theory Unification Monoid Semigroup Substitution
5	A theory of granular parthood based on qualitative cardinality and size measures Thomas BITTNER1,2,3,4 and Maureen DONNELLY1,3 1 Department of Philosophy, 2 Department of Geography 3 Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2006-11-21 12:49:37 Mathematics Algebra Abstract algebra Finite fields Cardinality First-order logic XTR Limit of a function Metric Algebraic number field Lambda lifting
6	Computational ontologies of parthood, componenthood, and containment Thomas Bittner and Maureen Donnelly IFOMIS, Saarland University Abstract Parthood, componenthood, and containment relations are commonly assumed in bio Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2005-03-16 11:22:26 Mathematics Algebra Logic Predicate logic Mathematical logic Ontology Topology Algebraic structures Mereology Metric Ring Binary relation
7	Chapter 2 A Static Checker for Safe Pattern Matching in Haskell Neil Mitchell and Colin Runciman 2.1 Abstract: A Haskell program may fail at runtime with a pattern-match error if Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Functional programming Recursion Type theory Computability theory Theoretical computer science Fold Algebraic data type Pattern matching Constraint logic programming
8	RAMIFICATION CORRESPONDENCE OF FINITE FLAT GROUP SCHEMES OVER EQUAL AND MIXED CHARACTERISTIC LOCAL FIELDS SHIN HATTORI Abstract. Let p > 2 be a rational prime, k be a perfect field of characteristic p and K be a finite t Add to Reading List Source URL: www2.math.kyushu-u.ac.jp Language: English - Date: 2011-01-01 23:09:08 Algebraic number theory Algebraic topology Complex analysis Algebraic geometry Galois module Galois theory Ramification Valuation Sheaf Linear temporal logic Isomorphism theorem
9	Generator Induction in Order Sorted Algebras Olaf Owe and Ole-Johan Dahl Institute of Informatics University of Oslo Norway February 1989 Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Type theory Mathematical logic Category theory Functional programming Abstract algebra Term algebra Initial algebra Algebraic structure Mathematical induction Term Sigma-algebra Unification
10	Dedekind-MacNeille completions of residuated lattices Joint work with A. Ciabattoni and K. Terui Nikolaos Galatos University of Denver June 6, 2009 Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2010-06-06 18:43:04 Mathematics Algebra Abstract algebra Algebraic logic Lattice theory Mathematical logic Order theory Algebraic structures Heyting algebra Residuated lattice Boolean algebra DedekindMacNeille completion

UPDATE